FIncr == {f | i:  if (i = 0) then  else {f(i - 1)...} fi } 

latex

Definitions	{x | y:A  B(x;y)}, , if b then t else f fi , (i = j), , {i...}, f(a), n - m, #$n
FDL editor aliases	fincr